| 1. Identity statement | ||||
| Reference Type | Conference Paper (Conference Proceedings) | |||
| Site | mtc-m16d.sid.inpe.br | |||
| Holder Code | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S | |||
| Identifier | 8JMKD3MGP7W/3ECUU5S | |||
| Repository | sid.inpe.br/mtc-m19/2013/07.01.14.10 | |||
| Last Update | 2013:07.01.14.10.43 (UTC) administrator | |||
| Metadata Repository | sid.inpe.br/mtc-m19/2013/07.01.14.10.43 | |||
| Metadata Last Update | 2018:06.05.04.14.29 (UTC) administrator | |||
| Label | self-archiving-INPE-MCTI-GOV-BR | |||
| Citation Key | RomeroSchnFerr:2013:SySpAl | |||
| Title | Synchronous specialization of Alf for CyberPhysical Systems  | |||
| Year | 2013 | |||
| Access Date | 2024, May 18 | |||
| Secondary Type | PRE CI | |||
| Number of Files | 1 | |||
| Size | 396 KiB | |||
| 2. Context | ||||
| Author | 1 Romero, Alessandro Gerlinger 2 Schneider, Klaus 3 Ferreira, Maurício Gonçalves Vieira | |||
| Resume Identifier | 1 2 3 8JMKD3MGP5W/3C9JHT8 | |||
| Group | 1 CSE-ETES-SPG-INPE-MCTI-GOV-BR 2 3 CRC-CRC-INPE-MCTI-GOV-BR | |||
| Affiliation | 1 2 3 Instituto Nacional de Pesquisas Espaciais (INPE) | |||
| Author e-Mail Address | 1 romgerale@yahoo.com.br 2 klaus.schneider@cs.uni-kl.de 3 mauricio@ccs.inpe.br | |||
| e-Mail Address | mauricio@ccs.inpe.br | |||
| Conference Name | Open EIT ICT Labs Workshop on Cyber-Physical Systems Engineering, 1 (EIT CPSE 2013). | |||
| Conference Location | Trento, Italy | |||
| Date | May 24 | |||
| History (UTC) | 2013-07-01 14:10:43 :: mauricio@ccs.inpe.br -> administrator :: 2018-06-05 04:14:29 :: administrator -> marcelo.pazos@inpe.br :: 2013 | |||
| 3. Content and structure | ||||
| Is the master or a copy? | is the master | |||
| Content Stage | completed | |||
| Transferable | 1 | |||
| Content Type | External Contribution | |||
| Version Type | publisher | |||
| Keywords | Alf CPS Cyber-Physical Systems MDA synchronous-reactive MoC system modeling SysML | |||
| Abstract | Systems engineers use SysML as a vendor-independent language to model Cyber-Physical Systems. However, SysML does not provide an executable form to define behavior but this is needed to detect critical issues as soon as possible. Alf integrated with SysML can offer some degree of precision. In this paper, we present an Action Language for Foundational UML (Alf) specialization that introduces the synchronous-reactive Model of Computation to SysML, through definition of not explicitly constrained semantics: timing, concurrency, and inter-object communication. The Smart Parking system, a well-known cyber-physical system, was selected to evaluate this specialization. Our initial results show that the proposed specialization does not add complexity to the task of modeling using SysML, and enables concise and precise behavioral definitions. | |||
| Area | ETES | |||
| Arrangement 1 | urlib.net > BDMCI > Fonds > Produção pgr ATUAIS > CSE > Synchronous specialization of... | |||
| Arrangement 2 | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > COCRC > Synchronous specialization of... | |||
| doc Directory Content | access | |||
| source Directory Content | there are no files | |||
| agreement Directory Content |
| |||
| 4. Conditions of access and use | ||||
| data URL | http://urlib.net/ibi/8JMKD3MGP7W/3ECUU5S | |||
| zipped data URL | http://urlib.net/zip/8JMKD3MGP7W/3ECUU5S | |||
| Language | en | |||
| Target File | cpsModelDrivenArchitecture_v2.3.pdf | |||
| User Group | marcelo.pazos@inpe.br mauricio@ccs.inpe.br | |||
| Reader Group | administrator marcelo.pazos@inpe.br | |||
| Visibility | shown | |||
| Read Permission | allow from all | |||
| Update Permission | not transferred | |||
| 5. Allied materials | ||||
| Linking | Trabalho Vinculado à Tese/Dissertação | |||
| Mirror Repository | iconet.com.br/banon/2006/11.26.21.31 | |||
| Next Higher Units | 8JMKD3MGPCW/3F35BSP 8JMKD3MGPCW/3F3PAJE | |||
| Citing Item List | sid.inpe.br/bibdigital/2013/10.14.22.20 2 sid.inpe.br/mtc-m21/2012/07.13.14.56.30 2 sid.inpe.br/bibdigital/2013/10.19.00.29 2 | |||
| Host Collection | sid.inpe.br/mtc-m19@80/2009/08.21.17.02 | |||
| 6. Notes | ||||
| Empty Fields | archivingpolicy archivist booktitle callnumber copyholder copyright creatorhistory descriptionlevel dissemination doi edition editor format isbn issn lineage mark nextedition notes numberofvolumes orcid organization pages parameterlist parentrepositories previousedition previouslowerunit progress project publisher publisheraddress rightsholder schedulinginformation secondarydate secondarykey secondarymark serieseditor session shorttitle sponsor subject tertiarytype type url volume | |||
| 7. Description control | ||||
| e-Mail (login) | marcelo.pazos@inpe.br | |||
| update | ||||